Details

analyze50.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample58.0ms (0.1%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	128	valid
19.0ms	256×	pre	128	true

Compiler

Compiled 14 to 14 computations (0% saved)

simplify294.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	9	7
1	9	7

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 64.0b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize24.0ms (0%)

Local error

Found 1 expressions with local error:

49.1b

(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`cancel-sign-sub-inv_binary64_726` `add-log-exp_binary64_799`
2×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
1×	`diff-log_binary64_852` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 14

Calls

1 calls:

15.0ms

(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)

series61.0ms (0.1%)

Counts

1 → 3

Calls

1 calls:

61.0ms

(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)

simplify177.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (154.0ms)

Iter	Nodes	Cost
0	4821	149
1	4821	149

prune79.0ms (0.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	12	5	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	6	18

Merged error: 64.0b

Counts

18 → 6

Compiler

Compiled 206 to 177 computations (14.1% saved)

localize22.0ms (0%)

Local error

Found 2 expressions with local error:

51.0b

(-.f64 (pow.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968)

51.4b

(/.f64 (-.f64 (pow.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_782`
24×	`*-un-lft-identity_binary64_760`
18×	`times-frac_binary64_766`
14×	`add-cube-cbrt_binary64_795`
10×	`difference-of-squares_binary64_729`
6×	`associate-/l*_binary64_705`
5×	`distribute-lft-out--_binary64_712` `sqr-pow_binary64_732`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
3×	`cancel-sign-sub-inv_binary64_726` `associate-/r*_binary64_704`
2×	`associate-/r/_binary64_706` `associate-/l/_binary64_707` `pow1_binary64_821` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `div-sub_binary64_765` `div-exp_binary64_811` `clear-num_binary64_759` `sub-neg_binary64_753`

Counts

2 → 61

Calls

2 calls:

19.0ms

(/.f64 (-.f64 (pow.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))

11.0ms

(-.f64 (pow.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968)

series302.0ms (0.4%)

Counts

2 → 6

Calls

2 calls:

168.0ms

(/.f64 (-.f64 (pow.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))

133.0ms

(-.f64 (pow.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968)

simplify761.0ms (1%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (313.0ms)

Iter	Nodes	Cost
0	4880	2017
1	4880	2017

prune2.1s (2.8%)

Pruning

24 alts after pruning (22 fresh and 2 done)

	Pruned	Kept	Total
New	49	18	67
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	49	24	73

Merged error: 64.0b

Counts

73 → 24

Compiler

Compiled 2586 to 2199 computations (15% saved)

localize61.0ms (0.1%)

Local error

Found 4 expressions with local error:

51.4b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424))))) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424))))))) (/.f64 (-.f64 (pow.f64 (.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))))
60.4b	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
60.4b	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
60.4b	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))

rewrite181.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`add-sqr-sqrt_binary64_782`
51×	`times-frac_binary64_766`
49×	`add-exp-log_binary64_798`
43×	`*-un-lft-identity_binary64_760`
42×	`associate-r_binary64_700`
30×	`cbrt-prod_binary64_791`
28×	`add-cube-cbrt_binary64_795`
20×	`prod-exp_binary64_809` `cbrt-div_binary64_792`
18×	`add-cbrt-cube_binary64_796`
15×	`associate-l_binary64_701` `div-exp_binary64_811`
12×	`difference-of-squares_binary64_729`
10×	`associate-/r/_binary64_706` `flip3-+_binary64_763` `flip-+_binary64_734`
9×	`unswap-sqr_binary64_728`
8×	`cbrt-unprod_binary64_793`
7×	`cbrt-undiv_binary64_794`
6×	`distribute-lft-out--_binary64_712` `sqr-pow_binary64_732` `pow1_binary64_821`
5×	`frac-times_binary64_770`
4×	`add-log-exp_binary64_799` `rec-exp_binary64_810` `1-exp_binary64_804`
3×	`pow1/3_binary64_842` `associate-l/_binary64_703` `associate-r/_binary64_702`
2×	`div-inv_binary64_757`
1×	`pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 137

Calls

4 calls:

71.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424))))) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424))))))) (/.f64 (-.f64 (pow.f64 (.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))))
17.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
12.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
4.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))

series363.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

180.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424))))) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424))))))) (/.f64 (-.f64 (pow.f64 (.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (*.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))))
66.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
58.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
58.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))

simplify741.0ms (1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5228	6733

prune8.1s (10.8%)

Pruning

52 alts after pruning (49 fresh and 3 done)

	Pruned	Kept	Total
New	116	33	149
Fresh	5	16	21
Picked	0	1	1
Done	0	2	2
Total	121	52	173

Merged error: 64.0b

Counts

173 → 52

Compiler

Compiled 10183 to 8582 computations (15.7% saved)

localize56.0ms (0.1%)

Local error

Found 4 expressions with local error:

60.4b	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))
60.4b	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))
60.4b	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
61.6b	(/.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (.f64 t 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t))))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 (.f64 t 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))))) (.f64 (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t))))) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))))

rewrite127.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`cbrt-div_binary64_792`
16×	`add-exp-log_binary64_798`
9×	`flip3-+_binary64_763` `flip-+_binary64_734` `cbrt-prod_binary64_791`
8×	`associate-/r/_binary64_706` `add-cbrt-cube_binary64_796`
7×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
5×	`frac-times_binary64_770`
4×	`cbrt-undiv_binary64_794` `prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `div-exp_binary64_811` `pow1_binary64_821`
3×	`pow1/3_binary64_842` `associate-l/_binary64_703` `associate-/l/_binary64_707` `associate-r/_binary64_702`
1×	`frac-2neg_binary64_771` `associate-/r_binary64_704` `div-inv_binary64_757` `associate-/l_binary64_705` `clear-num_binary64_759` `times-frac_binary64_766`

Counts

4 → 71

Calls

4 calls:

74.0ms	(/.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (.f64 t 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t))))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 (.f64 t 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))))) (.f64 (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t))))) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))))
6.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
5.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))
5.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))

series1.1s (1.4%)

Counts

4 → 12

Calls

4 calls:

609.0ms	(/.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (.f64 t 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t))))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 (.f64 t 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632) 3) 4912999999999999469662999487682060797225978270112016312547565097740290133039406174215703571453857288055486344817891565245695730047178092073457221762975249715974338698005848698763741002561317529166154201018943833049785119347934479142897871884059003197257935534037361303101903228349252102385777979197133780804171818481841154776432208507311341833520394045055701494148623551754298659793614199354329136504902211852111309553820367013023107541974217162251535639587789997358466764018300159343029814904193441705167929441386018677541737459207094403627767804221438695122175194913279804706983624463157391859921607013626246443235917017210838024829026185583019604242918261876501576119704888187048979664538417942659124861427412878792292230927015271044585790133877652045855259223600092830021203548088650228427221696650293813115759002752132908650210390305829194772394719185128969796964187886895148204403282315466035238807784368157143458643968) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))))) (.f64 (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t))))) (cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))))
163.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424)))))
162.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))
125.0ms	(cbrt.f64 (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 t (+.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 (.f64 28899999999999997920247056814439416690053103749560046092174023466228978179446276946337851468457949638133994987097966006944801180036873113927913519571873556537104057474734779342299833206525097817495586593304185421493722409000397708320618046735079663032128918814757418087971613600188064561882465203012236928221179455486954697583826604606650971790819728362164752042951920435233222191702646752559395721084508522750766808940904389483016396611777131903368224913542383600426574298245451109465509547214659546005321629190119024046596882290484167600690665028587139846580338186479926030621440320142711660162427685207838161895424 t)))))

simplify699.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (199.0ms)

Iter	Nodes	Cost
0	5297	3873

prune6.2s (8.3%)

Pruning

66 alts after pruning (62 fresh and 4 done)

	Pruned	Kept	Total
New	67	16	83
Fresh	2	46	48
Picked	0	1	1
Done	0	3	3
Total	69	66	135

Merged error: 64.0b

Counts

135 → 66

Compiler

Compiled 7307 to 6123 computations (16.2% saved)

regimes10.1s (13.6%)

Compiler: Compiled 43536 to 37257 computations (14.4% saved)

bsearch0.0ms (0%)

simplify13.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	115
1	42	115

end0.0ms (0%)

sample42.8s (57.5%)

Algorithm

1×

intervals

Results

277.0ms	8000×	body	128	valid
228.0ms	8000×	pre	128	true

Compiler

Compiled 14547 to 12445 computations (14.4% saved)

Pareto

Details

analyze50.0ms (0.1%)

sample58.0ms (0.1%)

simplify294.0ms (0.4%)

prune7.0ms (0%)

localize24.0ms (0%)

rewrite23.0ms (0%)

series61.0ms (0.1%)

simplify177.0ms (0.2%)

prune79.0ms (0.1%)

localize22.0ms (0%)

rewrite40.0ms (0.1%)

series302.0ms (0.4%)

simplify761.0ms (1%)

prune2.1s (2.8%)

localize61.0ms (0.1%)

rewrite181.0ms (0.2%)

series363.0ms (0.5%)

simplify741.0ms (1%)

prune8.1s (10.8%)

localize56.0ms (0.1%)

rewrite127.0ms (0.2%)

series1.1s (1.4%)

simplify699.0ms (0.9%)

prune6.2s (8.3%)

regimes10.1s (13.6%)

bsearch0.0ms (0%)

simplify13.0ms (0%)

end0.0ms (0%)

sample42.8s (57.5%)

Profiling